prove('p6b.clin2').
halt.
